struct f
{
...  
    template< class y, class=void>
    struct app
    {
        struct _: ||e||   //Herencia del ultimo template anidado.
        {
        typedef typename ||e||::value value; //Sinonimo de tipo.
        };
    };
...        
};

